Accurate Programming: Thinking about programs in terms of properties
نویسندگان
چکیده
Accurate programming is a practical approach to producing high quality programs. It combines ideas from test-automation, test-driven development, agile programming, and other state of the art software development methods. In addition to building on approaches that have proven effective in practice, it emphasizes concepts that help programmers sharpen their understanding of both the problems they are solving and the solutions they come up with. This is achieved by encouraging programmers to think about programs in terms of properties.
منابع مشابه
Proving Reachability Properties on Term Rewriting Systems with Strategies
We aim at defining regular over-approximation of sets of reachable terms for term rewriting systems applied with a strategy. In this ongoing work, we focus on innermost strategies which are the evaluation strategy of most functional programming languages. Having an accurate over-approximation of reachable terms for functional programming languages would permit to prove richer unreachability pro...
متن کاملAgainst the “ Hello World ” Leonard
Computer programming is a “two-way thinking process.” The programmer must think and implant his/her thought in the computer in the form of code. In return, the computer must think like the programmer in the way of output. Compilation is the only initial accurate way of confirming that the programmer and the computer are thinking the same way. In case of novice programmers, the compiler feedback...
متن کاملReasoning about Multi-process Systems with the Box Calculus
The box calculus is a formalism for reasoning about the properties of multi-process systems which enables account to be taken of pragmatic as well as computational concerns. It was developed for the programming language Hume which explicitly distinguishes between coordination, based on concurrent boxes linked by wires, and expressions, based on polymorphic recursive functions. This chapter intr...
متن کاملProgramming with Agents: New metaphors for thinking about computation
Computer programming environments for learning should make it easy to create worlds of responsive and autonomous objects, such as video games or simulations of animal behavior. But building such worlds remains difficult, partly because the models and metaphors underlying traditional programming languages are not particularly suited to the task. This dissertation investigates new metaphors, envi...
متن کاملترسیم نمودارها، کمکی به فرآیند طراحی معماری
Designers draw diagrams to think about architectural concepts and design concerns. Scientists are interested in programming computers to recognize and interpret design diagrams to deliver appropriate tools for the design task at hand. Researchers conducted empirical studies to find out if designers share drawing conventions when designing. The experiment results show that designers use differen...
متن کامل